Automation systems exist in many variants and may evolve over time in orderto deal with different environment contexts or to fulfill changing customerrequirements. This induces an increased complexity during design-time as wellas tedious maintenance efforts. We already proposed a multi-perspectivemodeling approach to improve the development of such systems. It operates ondifferent levels of abstraction by using well-known UML-models with activity,composite structure and state chart models. Each perspective was enriched withdelta modeling to manage variability and evolution. As an extension, we nowfocus on the development of an efficient consistency checking method at severallevels to ensure valid variants of the automation system. Consistency checkingmust be provided for each perspective in isolation, in-between the perspectivesas well as after the application of a delta.
展开▼
